1. <A> programmer's introduction to computer systems: hardware and software
پدیدآورنده : John Graham, Roger Loader
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Electronic digital computers,Computer software
رده :
QA
،
76
.
5
،.
G6574
،
1989
2. COMPUTER SOFTWARE PROGRAMMING SYSTEMS FOR DIGITAL COMPUTERS
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
،
76
.
5
،.
F455
3. Computer software programming systems for digital computers
پدیدآورنده : FLORES,IVAN
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
5
.
F455
4. Computer software: programming systems for digital computers
پدیدآورنده : / Ivan Flores
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Electronic digital computers -- Programming
رده :
QA76
.
5
.
F455
1965
5. Computer software, programming systems for digital computers
پدیدآورنده : Flores
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Electronic digital computers - Programming
رده :
QA
76
.
5
.
F455
6. Computer software; programming systems for digital computers
پدیدآورنده : Flores, Ivan.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming
رده :
QA
76
.
5
.
F455
7. Computer software: programming systems for digital computers
پدیدآورنده : Flores, Ivan
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers
رده :
QA
76
.
5
.
F455
8. Computer software; programming systems for digital computers
پدیدآورنده : Flores, Ivan.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Computer programming
رده :
QA
76
.
5
.
F455
9. Computer systems and software engineering
پدیدآورنده : / Edited by Patrick Dewild and Joos Vandwallle
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (تهران)
موضوع : System design,Software egineering
رده :
QA
76
.
9
.
S88C663
1992
10. Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems
پدیدآورنده : / Radu Calinescu, Ethan Jackson
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
11. Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers
پدیدآورنده :
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : Development -- Congresses ، Computer software,Verification -- Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
76
.
D47
.
M666
2011
12. Guidelines for the documentation of computer software for real time and interactive systems
پدیدآورنده :
موضوع : ، Computer software,، Software documentation
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
13. Information Systems Development: Principles of computer- Aided software Engineering
پدیدآورنده : Albert F. Case
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : System design,Computer software- Development
رده :
QA
،
76
.
9
،.
S88
,
C39
،
1986
14. Information systems development: Principles of computer-aided software engineering
پدیدآورنده : / Albert F. Case
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Systems design,Computer software - Development
رده :
QA76
.
9
.
S88C39
1986
15. Information systems development : principles of computer-aided software engineering
پدیدآورنده : Case, Albert F
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، System design,، Computer-aided software engineering
رده :
QA
76
.
9
.
S88
C39
1986
16. Intensive Systems-Dependability and Computer Engineering : Concepts for Software
پدیدآورنده : / Petre, Luigia
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ENGINEERING (uncategorised)|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE
رده :
E-BOOK
17. Performance and reliability analysis of computer systems : an example-based approach using the SHARPE software package
پدیدآورنده : Sahner, Robin, 3591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Evaluation ، Electronic digital computers,، SHARPE
رده :
QA
76
.
9
.
E94S246
18. Software Design for Resilient Computer Systems /
پدیدآورنده : by Igor Schagaev, Eugene Zouev, Kaegi Thomas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Reliability.,Fault-tolerant computing.,Self-adaptive software.,Computer software-- Reliability.,Fault-tolerant computing.,Self-adaptive software.
رده :
QA76
.
9
.
F38
19. Software Design for Resilient Computer Systems
پدیدآورنده : / Trachsel-Igor Schagaev, Thomas Kaegi
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : CONTROL SYSTEMS|ENGINEERING, CIVIL|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, SOFTWARE ENGINEERING|AUTOMATION
رده :
E-BOOK
20. Software Design for Resilient Computer Systems.
پدیدآورنده : \ Igor Schagaev , Thomas Kaegi-Trachsel
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Fault-tolerant computing,محاسبه تحمل‌پذیری خطا,a03,a03,Computer software -- Reliability.,Self-adaptive software.,نرم‌افزار -- اطمینان‌پذیری ,نرم‌افزارهای خودتطبیق
رده :
QA
76
.
9
.
S62S28
2016
E-Book
,
